Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design
نویسندگان
چکیده
منابع مشابه
Comparing Value-Driven Methods: an Experiment Design
A business model is a representation of an organization with a particular point of view. It is common to find different types of models to describe the business. However, methods to create business models representing an economic point of view have only emerged over the last few years in the scientific community. Such methods aid business specialists improving the economics understanding of the...
متن کاملConceptual Visual Human Algorithms: A Requirement-Driven Skiing Algorithm Design
As the key visual displayand processingelement of information super highway nodes, computer graphics is advancing into dynamic and higher dimensional visual worlds. So is visual algorithms to program visual worlds as the contents of information super highways. This research presents a drastic approach in designing visual algorithms to construct visual worlds. The address is on the most critical...
متن کاملFormal Specification in Metamorphic Programming
Formal specification methods have not been embraced wholeheartedly by the software development industry. We believe that a large part of industry’s reluctance is due to semantic gaps that are encountered when attempting to integrate formal specification with other stages of the software development process. Semantic gaps necessitate a dramatic shift in a programmer’s mode of thought, and underg...
متن کاملRigorous design of tracers: an experiment for constraint logic programming
In order to design and implement tracers, one must decide what exactly to trace and how to produce this trace. On the one hand, trace designs are too often guided by implementation concerns and are not as useful as they should be. On the other hand, an interesting trace which cannot be produced efficiently, is not very useful either. In this article we propose a methodology which helps to effic...
متن کاملRethinking experiment design as algorithm design
As experimentation in the behavioral and social sciences moves from brick-andmortar laboratories to the web, new opportunities arise in the design of experiments. By taking advantage of the new medium, experimenters can write complex computationally mediated adaptive procedures for gathering data: algorithms. Here, we explore the consequences of adopting an algorithmic approach to experiment de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Art, Science, and Engineering of Programming
سال: 2020
ISSN: 2473-7321
DOI: 10.22152/programming-journal.org/2021/5/7